Lineare Extremalprobleme bei schlichten Funktionen

Werkzeugunterstützung bei kooperativer Modellierung und Variantenmanagement von Motorsteuergeräte-Funktionen

In vielen industriellen Anwendungsbereichen des System-1 Einleitung

Virtualisierung bei Eingebetteten Multicore Systemen: Integration und Isolation sicherheitskritischer Funktionen

Virtualisierung ist nicht nur ein aktuelles Thema für Rechenzentren und deren Server. Auch bei sicherheitskritischen, eingebetteten Systemen werden Virtualisierungstechnologien eingesetzt. Dieser Trend ist auch das Ergebnis einer zunehmenden Verwendung von Mehrkern Prozessoren zur Erhöhung der Funktionsdichte und zur weiteren Senkung der Kosten. Diese Arbeit beschreibt die Verwendung von Virtua...

Lineare Evolutionsgleichungen

Cauchy problem in a product space (that may be particularly involved). For example, consider the heat equation  ∂u ∂t (t, x) = ∆u(t, x), t ≥ 0, x ∈ Ω, ∂w ∂t (t, z) = − ∂w ∂n (t, z), t ≥ 0, z ∈ ∂Ω, w(t, z) = u(t, z), t ≥ 0, z ∈ ∂Ω, where − ∂ ∂n denotes the outer normal derivative. This can be written as U ′(t) = ( ∆ 0 − ∂ ∂n 0 ) U(t), where U = ( u u|∂Ω ) . Observe that a relationship between ...

Neue Funktionen

Temporale Prüfung von Software-Funktionen